Condition suffisante, condition nécessaire - Vocabulaire

On considère une propriété qui est une implication P  ⇒  Q. On peut alors dire :

• pour que la proposition Q soit vraie, il suffit que la proposition P soit vraie ;
  
• pour que la proposition P soit vraie, il faut que la proposition Q soit vraie ;
  
• la proposition P est une condition suffisante pour que la proposition Q soit vraie ;
  
• la proposition Q est une condition nécessaire pour que la proposition P soit vraie.
  

On considère une propriété qui est une équivalence P ⇔  Q. On peut alors dire :

• la proposition P est vraie si et seulement si la proposition Q est vraie ;
  
• pour que la proposition P soit vraie, il faut et il suffit que la proposition Q soit vraie ;
  
• la proposition P est une condition nécessaire et suffisante pour la proposition Q.